infix 0 sml_infixl0_open sml_infixl0_close;
infix 1 sml_infixl1_open sml_infixl1_close;
infix 2 sml_infixl2_open sml_infixl2_close;
infix 3 sml_infixl3_open sml_infixl3_close;
infix 4 sml_infixl4_open sml_infixl4_close;
infix 5 sml_infixl5_open sml_infixl5_close;
infix 6 sml_infixl6_open sml_infixl6_close;
infix 7 sml_infixl7_open sml_infixl7_close;
infix 8 sml_infixl8_open sml_infixl8_close;
infix 9 sml_infixl9_open sml_infixl9_close;
infixr 0 sml_infixr0_open sml_infixr0_close;
infixr 1 sml_infixr1_open sml_infixr1_close;
infixr 2 sml_infixr2_open sml_infixr2_close;
infixr 3 sml_infixr3_open sml_infixr3_close;
infixr 4 sml_infixr4_open sml_infixr4_close;
infixr 5 sml_infixr5_open sml_infixr5_close;
infixr 6 sml_infixr6_open sml_infixr6_close;
infixr 7 sml_infixr7_open sml_infixr7_close;
infixr 8 sml_infixr8_open sml_infixr8_close;
infixr 9 sml_infixr9_open sml_infixr9_close;
open smlInfix;
